$\forall$${\it da}$,$l$,${\it tg}$:top. sqequal(fpf{-}ap(es{-}dt($l$; ${\it da}$); id{-}deq; ${\it tg}$); fpf{-}ap(${\it da}$; Kind{-}deq; rcv($l$,${\it tg}$)))